Nuprl Definition : merge
0,22
postcript
pdf
merge(
as
;
bs
) == reduce(
b
,
l
. s-insert(
b
;
l
);
as
;
bs
)
latex
Definitions
reduce(
f
;
k
;
as
)
,
s-insert(
x
;
l
)
FDL editor aliases
merge
origin
b,l. s-insert(b;l);as;bs) b,l. s-insert(b;l);as;bs)